Mathematical logic

Best thing about this app is that it is very well categorized. Every subject has their own category

A clear, rigorous and thorough exposition of: *The Propositional Calculus*The Predicate Calculus *Se